package jdk17.sealed;

/**
 * 密封类
 */
public sealed class animal permits cat, dog, tiger {
}
